package ch.epfl.lara.matcheck.verify;

import ch.epfl.lara.matcheck.ast.{Element,Const}

object ImplicitFormulaConversions {
  
  implicit def string2element(name: String) = Element(name) 

  implicit def int2constant(num: Int) = Const(num)
}
